🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Denotational Semantics
Domain Theory, Fixed Points, Continuations, Program Equivalence
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Systems Engineering for Agentic Applications
agenticapplications.substack.com
·
15h
·
Discuss:
r/programming
🩹
Self-Healing Systems
Baby's first type checker
austinhenley.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🐫
OCaml
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org
·
1d
🧠
Automated Reasoning
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev
·
1d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Isolated(any)
nshipster.com
·
13h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net
·
2d
·
Discuss:
Hacker News
🔤
DSLs
Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com
·
2d
📚
Automata Learning
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com
·
1d
💎
Refinement Types
Lessons from building an AI data analyst
pedronasc.com
·
12h
·
Discuss:
Hacker News
🧠
Automated Reasoning
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net
·
10h
·
Discuss:
Hacker News
🧩
Parser Combinators
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev
·
2d
·
Discuss:
r/rust
⚙️
PL Implementation
Lively Linear Lisp (1992)
plover.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🐫
Embedded OCaml
Guys I am leaving python to learn i will say i am decently good at it but my bigger goals are to learn c++ for game dev is ita nice decision
w3schools.com
·
23h
·
Discuss:
r/programming
🎮
Verification Games
Tripping Around REPL
vlaaad.github.io
·
19h
·
Discuss:
Hacker News
🛡️
seL4
Cyclic Implicit Complexity
arxiv.org
·
1d
🐫
OCaml
This Page Is a Quine
pranavg.me
·
1d
·
Discuss:
Hacker News
🧮
Lambda Calculus
Breaking Verifiable Abstractions
alperenkeles.com
·
16h
·
Discuss:
Hacker News
,
r/programming
🔍
Formal Verification
Answering some questions about Baba Yaga
eli.li
·
2d
·
Discuss:
Hacker News
💎
Refinement Types
Domain Generalization in-the-Wild: Disentangling Classification from Domain-Aware Representations
arxiv.org
·
1d
📚
Automata Learning
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com
·
8h
·
Discuss:
Hacker News
,
r/LLM
,
r/LocalLLaMA
🧩
Parser Combinators
Loading...
Loading more...
Page 2 »